Z notation - PDFSEARCH.IO - Document Search Engine

Z notation
Results: 301

#	Item
21	UNEDITED VERSION. The final version is to appear in the International Journal of Green Economics, 2009 Catastrophic Risks Graciela Chichilnisky December 2008 revised July 2009 Add to Reading List Source URL: chichilnisky.com Language: English - Date: 2013-05-20 13:57:55 Mathematics Decision theory Game theory Z notation Utility Expected utility hypothesis S Axiom of choice Axiom Logic Mathematical logic Formal systems
22	Microsoft Word - SDC_Billable_Hours_032012.doc Add to Reading List Source URL: www.oregon.gov Language: English - Date: 2012-06-05 16:29:12 Office work Paper Z notation Computing Business Batch processing Mainframe computer System software Transaction processing CICS IBM software
23	Microsoft Word - Xpediter_CICS_Course_Outlines Add to Reading List Source URL: www.doit.state.nm.us Language: English - Date: 2015-04-02 16:20:00 Office work Paper Z notation Business XPEDITER Computing Transaction processing CICS IBM software
24	CiCS Research and Innovation Support StrategyIntroduction CiCS have traditionally provided support for research, both directly in the form of various generations of the High Performance Compute facility, an Add to Reading List Source URL: cics.dept.shef.ac.uk Language: English - Date: 2012-07-09 12:11:02 Office work Paper Z notation Business Computing Cloud computing Ambient intelligence Software IBM WebSphere MQ Transaction processing CICS IBM software
25	Subtyping in Alloy by Emina Torlak Submitted to the Department of Electrical Engineering and Computer Science in Partial Fulfillment of the Requirements for the Degree of Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Programming language theory Data types Object-oriented programming Polymorphism Alloy Z notation Type system Subtype polymorphism Daniel Jackson Software engineering Type theory Computing
26	Microsoft Word - mflrnpath.1.doc Add to Reading List Source URL: www.sysed.com Language: English - Date: 2012-02-13 23:06:47 Transaction processing CICS IBM software Office work Paper Z notation IBM WebSphere MQ XPEDITER Virtual Storage Access Method Computing Software Business
27	The Z/EVES Reference Manual (for Version 1.5) TR03d Irwin Meisels and Mark Saaltink Release date: December 1995 Latest revision date: September 1997 Add to Reading List Source URL: www.oracanada.com Language: English - Date: 2009-03-31 21:35:27 Oxford University Computing Laboratory Z notation Formal methods Model theory Functions and mappings First-order logic Function S Lambda calculus Mathematical logic Mathematics Logic
28	SPECIALIST PROFILE Personal Details Reference: DL3216 Add to Reading List Source URL: www.bmeurope.com Language: English - Date: 2013-04-26 11:30:44 Business CICS IBM software Office work Paper Z notation Z/OS MVS Linux on System z Computing Software Transaction processing
29	Customer Case Study HANS KOLB Wellpappe - Packed better with better packaging! Short and succinct is the promise Add to Reading List Source URL: treehouse.com Language: English - Date: 2015-01-13 09:38:54 CICS Office work Paper Z notation Business Software IBM IBM TXSeries Transaction processing IBM software Computing
30	customer success URL: www.avivaitalia.it Industry: Add to Reading List Source URL: www.microfocus.com Language: English - Date: 2012-03-13 14:37:52 CICS Office work Paper Z notation Aviva Group Ireland Aviva Micro Focus International Mainframe computer Transaction processing IBM software Business

UPDATE